English translation for "theory of computation"
|
- 计算理论
理论计算机科学
算理
Related Translations:
- Example Sentences:
| 1. | He has an msc in mathematical logic and the theory of computation from bristol university , uk
他具有英国bristol university颁发的数理逻辑和计算理论的理学硕士学位。 | | 2. | Description : introduction to the theory of computation provides a mathematical treatment of computation theory grounded in theorems and proofs
描述： 《计算理论引导》用数学的手段，以定理和证明为基础，向大家介绍了计算理论。 | | 3. | In recognition of his fundamental contributions to the theory of computation , including the complexity - based theory of pseudorandom number generation , cryptography , and communication complexity
因在计算理论方面的贡献而获奖。包括伪随机数的生成算法、加密算法和通讯复杂性。 | | 4. | The dissertation discusses some theories of computation including the unit stiff matrix of the spatial member in the local coordinates ， the coordinate transformation , the integration of the integer stiff matrix ， the equivalent joint load ， the introduction of the boundary condition ， the computation of the unit internal force and support reaction ， the stableness of the spatial stiff frame . the dissertation also discusses the methods of dealing with several unusual problems such as combined structure , temperature stress ， elastic bearing
本文论述了空间杆件局部坐标单元刚度矩阵、坐标转换、整体刚度矩阵的集成、等效结点荷载、边界条件的引入、单元内力与支座反力计算、空间刚架稳定的计算理论，以及组合结构、温度内力、弹性支承等几个特殊问题的处理方法。 | | 5. | Abstract : based on the fundamental theory of computation of the cable - prestressed steel trusses established in paper 1 , the iterative perturbation formulas which inversively determine the stiffenesses of elements of steel trusses and cables with the restraint of vertical displacements of the truss are put forward on matrix perturbation principle
文摘:基于文1所建立的拉索式予应力钢桁架基本计算理论，根据矩阵摄动原理进一步给出了以竖向结点位移为约束反演确定任意布索张拉予应力钢桁架单元刚度和拉索刚度的摄动迭代公式。 | | 6. | Professor yao was awarded the turing award in 2000 , " in recognition of his fundamental contributions to the theory of computation , including the complexity - based theory of pseudorandom number generation , cryptography , and communication complexity " . his research activities are in the design of efficient computer algorithms , and complexity theories in emerging new areas of theoretical computer science , such as quantum communication and computing
姚教授于2000年获颁杜林奖，这是美国计算机学会自1966年设立杜林奖以来，首次颁予华人科学家，美国计算机学会并赞扬姚教授对计算理论作出了根本性而意义重大的贡献，其中包括基于复杂性的?乱数生成理论、密码学和通信复杂性。 |
- Similar Words：
- "theory of comparative productivity" English translation, "theory of complementary needs" English translation, "theory of complex multiplication" English translation, "theory of complexity of computations" English translation, "theory of composition" English translation, "theory of computing" English translation, "theory of computing (journal)" English translation, "theory of computing systems" English translation, "theory of concentration of capital" English translation, "theory of conditioning" English translation
|
|
|
